Implications of the spatial variability of infiltration-water chemistry for the investigation of a karst aquifer: a field study at Milandre test site, Swiss Jura

The Milandre test site is an ideal karstic aquifer for studying the spatial heterogeneity of groundwater chemistry. Numerous observation points can be sampled: the spring, the underground river and its tributaries, and boreholes at different depths. The main causes of the spatial variability of the chemical parameters are: nature and localisation of the input, the structure of the infiltration zone, chemical reactions (transit time vs. reaction kinetics) and mixing of different waters. Physico-chemical data on springs discharging from the karstic system represent the sum of this spatial heterogeneity. Therefore, it is difficult to interpret the global-chemical response with a simple mixing model of the aquifer subsystems (runoff, matrix reservoir, epikarst). Chemical constituents related to agricultural inputs show important seasonal variations (coefficient of variation approximately 15%) and parameters linked to rainfall (δ18O) and to the aquifer (Ca2+, HCO3 −) present variations of less than 5%. This result indicates the importance of water storage in the epikarstic aquifer for periods of a few month

CoCaml: Functional Programming with Regular Coinductive Types

Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs, such as pattern-matching. Whereas inductive types have a long tradition and are well supported in most languages, coinductive types are subject of more recent research and are less mainstream. We present CoCaml, a functional programming language extending OCaml, which allows us to define recursive functions on regular coinductive datatypes. These functions are defined like usual recursive functions, but parameterized by an equation solver. We present a full implementation of all the constructs and solvers and show how these can be used in a variety of examples, including operations on infinite lists, infinitary γ-terms, and p-adic numbers

LISACode : A scientific simulator of LISA

A new LISA simulator (LISACode) is presented. Its ambition is to achieve a new degree of sophistication allowing to map, as closely as possible, the impact of the different sub-systems on the measurements. LISACode is not a detailed simulator at the engineering level but rather a tool whose purpose is to bridge the gap between the basic principles of LISA and a future, sophisticated end-to-end simulator. This is achieved by introducing, in a realistic manner, most of the ingredients that will influence LISA's sensitivity as well as the application of TDI combinations. Many user-defined parameters allow the code to study different configurations of LISA thus helping to finalize the definition of the detector. Another important use of LISACode is in generating time series for data analysis developments